Translation
powered by 
Word not found. Suggestions:
Reverse definition search (Computing (FOLDOC) dictionary):
HASL occurs check unification complete unification Control and Status Register control structure Han character unify condition out Han Unification PHOCUS Fresh Quty negation by failure logic programming preprocessor GAPLog SFLV QPE unifier narrowing most general unifier FUNLOG call-by-need ISL single sourcing Prolog-III ISWIM distfix TABLOG HiLog pipeline break PANON principal type Test coverage Constraint Logic Programming Constraint Handling In Prolog branch prediction Extended Self-containing Prolog IDEAL instantiation delayed control-transfer Lolli ALGOL 60 logic variable XSB Parlog BinProlog pattern matching C preprocessor type inference Wild_LIFE von Neumann architecture C+- RCA 1802 resolution rl BCPL Prolog 6502 more...